منابع مشابه
Quantum Axiomatics
We present an axiomatic and operational theory of quantum mechanics. The theory is founded on the axiomatic and operational approach started in Geneva mainly by Constantin Piron and his students and collaborators and developed further in Brussels by myself and different students and collaborators. A physical entity, which a priori can be a classical entity or a quantum entity or a combination o...
متن کاملAxiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics
Two conflicting interpretations of modern axiomatics will be considered. The logico-analytical interpretation goes back to Pasch, while the model-theoretical approach stems from Hilbert. This perspective takes up the distinction between logic as calculus ratiocinator versus lingua characterica that Heijenoort and Hintikka placed emphasis on. It is argued that the Heijenoort-Hintikka distinction...
متن کاملA Categorical Axiomatics for Bisimulation
We give an axiomatic category theoretic account of bisimulation in process algebras based on the idea of functional bisimulations as open maps. We work with 2-monads, T , on Cat. Operations on processes, such as nondeterministic sum, prefixing and parallel composition are modelled using functors in the Kleisli category for the 2-monad T . We may define the notion of open map for any such 2-mona...
متن کاملTwo notes on the axiomatics of structures with parallelism
We provide: (1) an independent quantifier-free axiomatization for André’s central translation structures and state a conjecture, which, if true, would show a very strong connection between central translation structures and translation planes; (2) a first-order axiomatization of Everett’s and Permutti’s affine geometries over rings without zero divisors in which any two non-zero elements have a...
متن کاملThe development of Euclidean axiomatics
The paper lists several editions of Euclid’s Elements in the Early Modern Age, giving for each of them the axioms and postulates employed to ground elementary mathematics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2000
ISSN: 0166-8641
DOI: 10.1016/s0166-8641(99)00052-8